|
|
1.
|
Logic for mathematics and computer science
by Burris, Stanley N. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 1998Availability: Items available for loan: [Call number: 511.3 BUR] (1).
|
|
|
2.
|
Adapting proofs-as-programs : the Curry-Howard protocol
by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
|
|
|
3.
|
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
by Ensley, Douglas E | Crawley, J. Winston. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 511.1 ENS] (1).
|
|
|
4.
|
Introductory Discrete Mathematics
by Balakrishnan, V. K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 1996Availability: Items available for loan: [Call number: 511 BAL] (1).
|
|
|
5.
|
Linear logic in computer science
by Ehrhard, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
|
|
|
6.
|
Explorations in Computer Science
by Meyer, Mark. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Jones & Bartlett, 2006Availability: Items available for loan: [Call number: 004 MEY] (2).
|
|
|
7.
|
Nonlinear biomedical signal processing : fuzzy logic, neural networks, and new algorithms. Volume 1
by Akay, Metin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Press, 2000Availability: Items available for loan: [Call number: 610.285632 AKA] (1).
|
|
|
8.
|
Nonlinear biomedical signal processing : dynamic analysis and modeling. Volume 2
by Akay, Metin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Press, 2001Availability: Items available for loan: [Call number: 610.285632 AKA] (1).
|
|
|
9.
|
Mathematical methods in artificial intelligence
by Bender, Edward A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: IEEE Computer Society, 2000Availability: Items available for loan: [Call number: 006.3015 BEN] (1).
|
|
|
10.
|
First course in fuzzy logic
by Nguyen, Hung T. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 1999Availability: Items available for loan: [Call number: 511.3 NGU] (1).
|
|
|
11.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
|
12.
|
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
|
|
|
13.
|
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
|
|
|
14.
|
Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings
by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
|
|
|
15.
|
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
by Brinksma, Ed | Hermanns, Holger | Katoen, Joost-Pieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1).
|
|
|
16.
|
Petri Net algebra
by Devillers, Raymond | Koutny, Maciej. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 BES] (1).
|
|
|
17.
|
E-commerce and intelligent methods
by Segovia, Javier | Niedzwiedzinski, Marian | Szczepaniak, Piotr S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 658.84 SEG] (1).
|
|
|
18.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2007Availability: Items available for loan: [Call number: 511 ROS] (7). Items available for reference: [Call number: 511 ROS] (3).
|
|
|
19.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Mc Graw-hill companies, 2007Availability: Items available for loan: [Call number: 511 ROS] (1).
|
|
|
20.
|
Logic and language models for computer science
by Hamburger, Henry | Richards, Dana. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 2002Availability: Items available for loan: [Call number: 005.131 HAM] (1).
|
